(define (x z . y) (z x y))